منابع مشابه
Accademia Nazionale Dei Lincei
Zeta functions considered here are functions of one complex variable arising from the problem of studying the distribution of the periods of the periodic orbits generated on a manifold M by the action of groups of maps homomorphic to R or N (the continuous and discrete, respectively, cases). The functions describe the distribution of the periodic orbits periods in the same sense in which the Ri...
متن کاملProgram Transformation for Development, Verification, and Synthesis of Software
SOMMARIO/ABSTRACT In questo articolo presentiamo brevemente la metodologia di trasformazione dei programmi per lo sviluppo di software corretto ed efficiente. Ci riferiremo, in particolare, al caso della trasformazione e dello sviluppo dei programmi logici con vincoli. In this paper we briefly describe the use of the program transformation methodology for the development of correct and efficien...
متن کاملVox populi or vox Dei?
t may interest readers to know that Australia has had an unexpected fallout of the 2000 Sydney Olympics—an increase in the population! At a time when politicians are calling for an increase in birth rates, it is pleasing to note that sports medicine is doing its best for the nation. A recent newspaper report noted that 35 overseas athletes who came to Australia for the Olympics did not actually...
متن کاملMicrobiology of the stalactites from Grotta dei
Grotta dei Cervi is a cave which opens into the Oligocenic Calcarenites at 26 m above sea level on the channel of Otranto, 370 m NE of Porto Badisco, Lecce, southeastern Italy. It was discovered on February 1, 1970. From the geomorphological point of view, the cave is the site of an ancient underground water table. The innumerable concavities which are visible on the roof of the gallery have fo...
متن کاملGestione dinamica dei servizi in processi cooperativi
I processi cooperativi prevedono l’esecuzione di attività da parte di entità differenti allo scopo di perseguire un obiettivo comune. Considerando il contesto dei distretti produttivi, attraverso il progetto VISPO si propone una serie di modelli abilitanti all’esecuzione dinamica di tali processi in cui le attività sono svolte da servizi. In questo contesto il carattere di dinamicità deriva dal...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Rendiconti del Circolo Matematico di Palermo
سال: 1919
ISSN: 0009-725X,1973-4409
DOI: 10.1007/bf03014675